Proof assistant

Qualität:

Maschinengestütztes Beweisen - Verwendung von Computerprogrammen zur Erzeugung und Überprüfung von mathematischen Beweisen. Artikel "Proof assistant" in der englischen Wikipedia hat 32 Punkte für Qualität (Stand 1. August 2024). Der Artikel enthält 22 Referenzen und 8 Abschnitte. Der Artikel enthält auch eine Vorlage für Qualitätsmängel, die den Qualitätsfaktor verringert.

Dieser Artikel hat die beste Qualität in der estnischen Wikipedia. Allerdings ist dieser Artikel in der englischen Version am beliebtesten.

Im Juli 2024 wurde der Artikel "Proof assistant" von 3 Autoren in der englischen Wikipedia bearbeitet und von 4 Autoren in allen Sprachen verfasst.

Seit der Erstellung des Artikels "Proof assistant" wurde sein Inhalt von 102 registrierten Benutzern der englischen Wikipedia verfasst und von 191 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel wird 251 Mal in der englischen Wikipedia zitiert und in allen Sprachen 486 Mal zitiert.

Der höchste Autoreninteresse-Rang aus dem Jahr 2001:

• Lokales (Englische): Nr. 42118 im Februar 2024
• Globales: Nr. 55595 im Oktober 2004

Der höchste Beliebtheitsrang aus dem Jahr 2008:

• Lokales (Englische): Nr. 190648 im November 2017
• Globales: Nr. 312916 im November 2017

Es gibt 7 Sprachversionen für diesen Artikel in der WikiRank-Datenbank (von den berücksichtigten 55 Wikipedia-Sprachausgaben).

Die Qualitäts- und Beliebtheitsbewertung basierte auf Wikipedia-Dumps vom 1. August 2024 (einschließlich Revisionsverlauf und Seitenaufrufe für frühere Jahre).

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Qualität.

#	Sprache	Qualitätsstufe	Qualitätsfaktor
1	Estnische (et) Tõestusassistent		32.1143
2	Englische (en) Proof assistant		31.9674
3	Französische (fr) Assistant de preuve		25.7037
4	Ukrainische (uk) Асистент доведення теорем		25.2336
5	Russische (ru) Инструмент интерактивного доказательства теорем		16.134
6	Spanische (es) Demostración interactiva de teoremas		1.1771
7	Polnische (pl) System wspomagający dowodzenie twierdzeń		0.3428

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Proof assistant		527 472
2	Französische (fr) Assistant de preuve		65 850
3	Polnische (pl) System wspomagający dowodzenie twierdzeń		12 521
4	Spanische (es) Demostración interactiva de teoremas		8 615
5	Russische (ru) Инструмент интерактивного доказательства теорем		4 659
6	Estnische (et) Tõestusassistent		160
7	Ukrainische (uk) Асистент доведення теорем		112

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Popularität im letzten Monat.

#	Sprache	Beliebtheitspreis	Relative Beliebtheit
1	Englische (en) Proof assistant		5 635
2	Französische (fr) Assistant de preuve		237
3	Russische (ru) Инструмент интерактивного доказательства теорем		107
4	Polnische (pl) System wspomagający dowodzenie twierdzeń		14
5	Spanische (es) Demostración interactiva de teoremas		13
6	Ukrainische (uk) Асистент доведення теорем		8
7	Estnische (et) Tõestusassistent		3

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse.

#	Sprache	AI-Auszeichnung	Relativer AI
1	Englische (en) Proof assistant		102
2	Französische (fr) Assistant de preuve		63
3	Polnische (pl) System wspomagający dowodzenie twierdzeń		11
4	Russische (ru) Инструмент интерактивного доказательства теорем		5
5	Spanische (es) Demostración interactiva de teoremas		4
6	Estnische (et) Tõestusassistent		3
7	Ukrainische (uk) Асистент доведення теорем		3

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse im letzten Monat.

#	Sprache	AI-Auszeichnung	Relativer AI
1	Englische (en) Proof assistant		3
2	Französische (fr) Assistant de preuve		1
3	Spanische (es) Demostración interactiva de teoremas		0
4	Estnische (et) Tõestusassistent		0
5	Polnische (pl) System wspomagający dowodzenie twierdzeń		0
6	Russische (ru) Инструмент интерактивного доказательства теорем		0
7	Ukrainische (uk) Асистент доведення теорем		0

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Anzahl an Zitaten.

Am 12. November 2024 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Donald Trump, Marco Rubio, Elon Musk, Song Jae-lim, Präsidentschaftswahl in den Vereinigten Staaten 2024, Megan Fox, Melania Trump, Gladiator II, ChatGPT, Nekrolog 2024.

In der englischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Microsoft, 2024 United States presidential election, Marco Rubio, Song Jae-rim, Michael Waltz, Kristi Noem, Donald Trump, 2020 United States presidential election, Kash Patel, Tom Homan.

Das Projekt dient der automatischen relativen Auswertung der Artikel in den verschiedenen Sprachversionen von Wikipedia. Derzeit ermöglicht der Dienst den Vergleich von über 44 Millionen Wikipedia-Artikeln in 55 Sprachen. Die Qualitätsbewertung von Artikeln basiert auf Wikipedia-Dumps vom August 2024. Bei der Berechnung der aktuellen Popularität und des Interesses der Autoren an Artikeln wurden Daten vom Juli 2024 berücksichtigt. Für historische Werte der Popularität und des Autoreninteresses verwendete WikiRank Daten von 2001 bis 2023... Mehr Informationen